TESTS_ENVIRONMENT='$(SHELL)'
TESTS = trace_tests.sh xor_tests.sh cnf_tests.sh longer_tests.sh
EXTRA_DIST = xortest.ite xortest.xor emptyite.ini \
	     xortest.ite.params xortest.xor.params crazyxor18.xor
SUBDIRS = trace_tests longer_tests cnf
